orthogonal extention

[计] 正交扩张